<?php
$z[0]=Array("global","",67,92);
$z[0][4]['name']="autoindex";
$z[1]=Array("arcurl","",205,220);
$z[2]=Array("title","",222,236);
$z[3]=Array("global","",268,293);
$z[3][4]['name']="autoindex";
$z[4]=Array("arcurl","",376,391);
$z[5]=Array("title","",393,407);
$z[6]=Array("global","",439,464);
$z[6][4]['name']="autoindex";
$z[7]=Array("arcurl","",575,590);
$z[8]=Array("title","",592,606);
$z[9]=Array("typeurl","",725,742);
$z[10]=Array("typename","",767,785);
$z[11]=Array("arcurl","",800,815);
$z[12]=Array("title","",817,831);

?>